integral domain definition